361. Grammars and automata for string processing: from mathematics and computer science to biology, and back

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)

موضوع : ، Computer science,، Programming languages )Electronic computers(-- Mathematics,، Mathematical linguistics,، Formal languages

رده :
QA
76
.
G64
2003

362. Grammars and automata for string processing : from mathematics and computer science to biology, and back

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Mathematics ، Computer science,Mathematics ، Programming languages )Electronic computers(,، Mathematical linguistics,، Formal languages,، Molecular biology,، Paun, Gheorghe, 0591-

رده :
QA
76
.
G69

363. Graphs, dynamic programming, and finite games

پدیدآورنده :

کتابخانه: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)

موضوع : Graph theory,Games of strategy )Mathematics(,Programming )Mathematics(

رده :
QA
.
K313
166
1967

364. Graphs, dynamic programming, and finite games

پدیدآورنده :

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)

موضوع : Graph theory,Games of strategy (Mathematics),Programming (Mathematics)

رده :
QA166
.
K313
1967

365. Guide to Scientific Computing in C++ /

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer programming.,Computer science-- Mathematics.,Computer science.,Computer simulation.,Numerical analysis.,Programming languages (Electronic computers),Software engineering.,Computer programming.,Computer science-- Mathematics.,Computer science.,Computer Science.,Computer simulation.,Math Applications in Computer Science.,Numeric Computing.,Numerical analysis.,Programming languages (Electronic computers),Programming Languages, Compilers, Interpreters.,Programming Techniques.,Simulation and Modeling.,Software engineering.,Software Engineering.,Computer programming.,Computer science-- Mathematics.,Computer science.,Computer simulation.,Numerical analysis.,Programming languages (Electronic computers),Software engineering.

رده :
QA76
.
6-76
.
66

366. Guide to discrete mathematics :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer science-- Mathematics.,Algorithms & data structures.,Computer programming-- software development.,Computer science-- Mathematics.,Computers-- Data Processing.,Computers-- History.,Computers-- Logic Design.,Computers-- Programming-- General.,Computing & information technology.,Discrete mathematics.,Mathematical modelling.,Mathematics-- Applied.,Maths for computer scientists.

رده :
QA76
.
9
.
M35

367. Handbook of applied optimization

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)

موضوع : ، Mathematical optimization,، Programming )Mathematics(-- Industrial applications

رده :
QA
402
.
5
.
H334
2002

368. Handbook of applied optimization

پدیدآورنده :

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)

موضوع : ، Mathematical optimization,، Programming )Mathematics(- Industrial applications

رده :
QA
402
.
5
.
H334

369. Handbook of test problems in local and global optimization

موضوع : ، Chemical engineering-- Mathematics,، Mathematical optimization,، Nonlinear programming

۲ نسخه از این کتاب در ۲ کتابخانه موجود است.

370. Heuristic procedures in dynamic programming

پدیدآورنده :

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)

موضوع : ، programming )Mathematics(,، Heuristic programming

رده :
QA
264
.
N6

371. History of mathematical programming : a collection of personal reminiscences

پدیدآورنده :

کتابخانه: (طهران)

موضوع : ، Programming )Mathematics(

رده :
QA
402
.
5
.
H57
1991

372. How to solve it by computer

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع : Data processing ، Mathematics,Data processing ، Problems solving,Programming ، Electronic digital computer

رده :
QA
76
.
95
.
D76
1982

373. How to solve it by computer

پدیدآورنده :

موضوع : Mathematics- data processing,Problem solving- data processing,Computer programming

۳ نسخه از این کتاب در ۳ کتابخانه موجود است.

374. How to solve it by computer

پدیدآورنده :

کتابخانه: مكتبات الكلية التقنية بجامعة طهران (طهران)

موضوع : Mathematics - Data processing,Problem solving - Data processing,Electronic digital computers - Programming

رده :
QA
76
.
95
.
D76
1992

375. How to solve it by computer

پدیدآورنده :

کتابخانه: مكتبات الكلية التقنية 1 بجامعة طهران (طهران)

موضوع : Mathematics Data processing,Problem solving-data processing,Electronic digital computer-Programming

رده :
QA
76
.
95
.
D76
1982

376. How to solve it by computer

پدیدآورنده :

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)

موضوع : ، Mathematics- Data processing,، Problem solving- Data processing,، Electronic digital computers- Programming

رده :
QA
76
.
95
.
D75

377. How to solve it by computer /

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer programming,Mathematics-- Data processing,Problem solving-- Data processing,Mathématiques-- Informatique,Programmation (Informatique),Résolution de problème-- Informatique

رده :
QA76
.
95
.
D76
1982

378. Induction, recursion, and programming

پدیدآورنده :

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)

موضوع : ، Electronic digital computers-- Programming,، Induction )Mathematics(,، Recursion theory

رده :
QA
76
.
6
.
W34

379. Initial computability, algebraic specifications, and partial algebras

پدیدآورنده :

کتابخانه: مكتبات الكلية التقنية بجامعة طهران (طهران)

موضوع : Computer science - Mathematics,Data structures (Computer science),Programming languages (Electronic computers) - Semantics,Partial algebras

رده :
QA
76
.
9
.
M35R45
1987

380. Integer and nonlinear programming

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)

موضوع : ، Programming )Mathematics(--Addresses, essays, lectures

رده :
T
57
.
7
.
I57